Isidor C. Rubin, M.D. (1883-1958)

In Memoriam: Prof Smail Zubcevic, MD, PhD (1958-2017)

Th ere are moments when you get caught and surprised, and when you do not realize that something has happened. First, you do not believe it because it is not meaningful and it is not fair, but then, you become aware that there is something beyond that you’re not able to control. I guess destiny, as a warning, you should recognize. Two nights ago, the heart of our Smajo stopped knocking. Th ey s...

1883 - 4566

Mobile robot networks emerged in the past few years as a promising distributed computing model. Existing work in the literature typically ensures the correctness of mobile robot protocols via ad hoc handwritten proofs, which are both cumbersome and error-prone. This paper surveys state-of-the-art results about applying formal methods approaches (namely, model-checking, program synthesis, and pr...

Vera C. Rubin: Pioneering American astronomer (1928-2016).

Vera Cooper Rubin, an icon of astronomy whose work revolutionized our understanding of the universe by confirming the existence of dark matter, passed away on December 25, 2016 at the age of 88. Vera had a lifelong love of the cosmos. “How could you possibly live on this Earth and not want to study the universe?” shewondered. Vera was a devoted champion of women in science and a beloved role mo...

Freund-rubin Revisited

We utilise the duality between M theory and Type IIA string theory to show the existence of Freund-Rubin compactifications of M theory on 7-manifolds with singularities supporting chiral fermions. This leads to a concrete way to study phenomenologically interesting quantum gravity vacua using a holographically dual three dimensional field theory. bacharya, denef, hofman, [email protected]...

Leonard Colebrook, 1883-1967.